/* Assume <.> acts as compose */

Store(coalg_store <.> set(a), get(a));
